derivations of cfgs